#ifndef DISPATCH_H
#define DISPATCH_H

extern void interrupt dispatch();

#endif
